Composition of Structured Process Specifications
نویسندگان
چکیده
منابع مشابه
Composition of Default Specifications
In this paper we develop a theory of composition of default specifications. This theory generalizes the work by Goguen and Burstall, where specifications written in an arbitrary logical system (institution) are structured as combinations of theories. It extends the classical composition by allowing partial re-use (and overriding) of specification modules. The modularisation units are hierarchic...
متن کاملComposition of Service Specifications
The service speciication ss(P) of a protocol P de-nes the services provided by the protocol and its protocol speciication ps(P) speciies the rules of message exchange to ensure the service. Protocol composition has been advocated as an attractive way to design complex protocols. Several techniques have been studied for composition of protocol speciications. In these techniques, to combine compo...
متن کاملMeta-Proof for Structured Specifications
We are working on a practical, template-based approach to the formalisation of object-oriented models. In previous papers, which demonstrate the approach, we have asserted that the formal proofs required for consistency checking and analysis of the model, are also amenable to a template-based solution, using modular metaproofs. In this paper, we explain the meta-proof concept, and illustrate it...
متن کاملLogical systems for structured specifications
We study proof systems for reasoning about logical consequences and refinement of structured specifications, based on similar systems proposed earlier in the literature [ST 88, Wir 91]. Following Goguen and Burstall, the notion of an underlying logical system over which we build specifications is formalized as an institution and extended to a more general notion, called (D, T )-institution. We ...
متن کاملDynamic Process Composition and Communication Patterns in Irregularly Structured Applications
In this paper we describe one experiment in which a new co-ordination language, called MANIFOLD, is used to restructure an existing sequential Fortran 77 code from computational fluid dynamics (CFD), into a parallel application. MANIFOLD is a co-ordination language developed at CWI (Centrum voor Wiskunde en Informatica) in the Netherlands. It is very well suited for applications involving dynam...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Electronic Notes in Theoretical Computer Science
سال: 2003
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80739-4